| 41 |
Introduction of Automation for the Production of Bilingual, Parallel-Aligned Text
|
|
|
|
In: DTIC (2011)
|
|
BASE
|
|
Show details
|
|
|
| 44 |
An OCL-Based approach to derive constraint test cases for database applications
|
|
|
|
BASE
|
|
Show details
|
|
|
| 45 |
Verification Architectures: Compositional Reasoning for Real-time Systems
|
|
|
|
In: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167 (2010)
|
|
Abstract:
The original publication is available at www.springerlink.com. ; International audience ; We introduce a conceptual approach to decompose real-time systems, specified by integrated formalisms: instead of showing safety of a system directly, one proves that it is an instance of a Verification Architecture, a safe behavioural protocol with unknowns and local realtime assumptions. We examine how different verification techniques can be combined in a uniform framework to reason about protocols, assumptions, and instantiations of protocols. The protocols are specified in CSP, extended by data and unknown processes with local assumptions in a real-time logic. To prove desired properties, the CSP dialect is embedded into dynamic logic and a sequent calculus is presented. Further, we analyse the instantiation of protocols by combined specifications, here illustrated by CSP-OZ-DC. Using an example, we show that this approach helps us verify specifications that are too complex for direct verification.
|
|
Keyword:
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification; Compositional Verification; CSP; Duration Calculus; Object-Z; Real-Time System; Sequent calculus
|
|
URL: https://hal.inria.fr/inria-00525132
|
|
BASE
|
|
Hide details
|
|
|
| 46 |
Maritime Domain Awareness via Agent Learning and Collaboration
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
|
| 47 |
Enhancing a Web Crawler with Arabic Search Capability
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
|
| 48 |
Entity Profiling for Intelligence Using the Graphical Overview of Social and Semantic Interactions of People (GOSSIP) Software Tool
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
|
| 49 |
Why Smalltalk wins the host languages shootout
|
|
|
|
In: http://scg.unibe.ch/archive/papers/Reng09bLanguageShootout.pdf (2009)
|
|
BASE
|
|
Show details
|
|
|
| 51 |
Blog Fingerprinting: Identifying Anonymous Posts Written by an Author of Interest Using Word and Character Frequency Analysis
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
|
| 52 |
Using Adversary Text to Detect Adversary Phase Changes
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
|
| 53 |
Design Of Domain-Specific Software Systems With Parametric Code Templates ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 54 |
Design Of Domain-Specific Software Systems With Parametric Code Templates ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 55 |
CEMAP II: An Architecture and Specifications to Facilitate the Importing of Real-World Data into the CASOS Software Suite
|
|
|
|
In: DTIC (2008)
|
|
BASE
|
|
Show details
|
|
|
| 56 |
A Sensemaking Visualization Tool with Military Doctrinal Elements
|
|
|
|
In: DTIC (2008)
|
|
BASE
|
|
Show details
|
|
|
| 59 |
DESIDERATA FOR LINGUISTIC SOFTWARE DESIGN
|
|
|
|
In: International Journal of English Studies; Vol. 8 No. 1 (2008): Monograph: Software-aided Analysis of Language; 67-94 ; International Journal of English Studies; Vol. 8 Núm. 1 (2008): Monograph: Software-aided Analysis of Language; 67-94 ; 1989-6131 ; 1578-7044 (2008)
|
|
BASE
|
|
Show details
|
|
|
| 60 |
Conceiving and Implementing a language-oriented approach for the design of automated learning scenarios
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00156874 ; Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français (2007)
|
|
BASE
|
|
Show details
|
|
|
|
|
